/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package Session;

import Entity.Contrathabitat;

import java.util.List;
import javax.ejb.Local;

/**
 *
 * @author Gautch
 */
@Local
public interface ContratHabitatSessionLocal {

    public Contrathabitat getContrat(String numcontrat);

    public List<Contrathabitat> recupContratAutoAValider();

    public List<Contrathabitat> recupContratHabitatByNumClient(String numClient);

    public void traitementContratHabRedac(String numRedacteur, String newEtat, String numContrat);

    public int[] calculDevis(int surface, boolean incendie, boolean vol, boolean degatEau, boolean bienPrecieux);
    
    public boolean souscriptionHabitat(int surface, boolean incendie, boolean vol,
            boolean degatEau, boolean bienPrecieux, String adresse, String code, int categorie, 
            int prix, int franchise, String login);
    
    public boolean testExistence(String numeroContrat);
    
    public boolean supprimer(String numero);
}
